]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6971390) | patch
panel: Move panel border into the background
authorFlorian Müllner <fmuellner@gnome.org>
Mon, 21 Feb 2011 18:04:40 +0000 (19:04 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 23 Feb 2011 16:39:07 +0000 (17:39 +0100)
commit9a048af1fb9ecc6c390f4b5ca28b6a64ba462932
tree1a307eeef5c55ce5ef94603d848064c419ab0ab6tree | snapshot
parent697139043f50d4bce58d1b9463c312e3121c5456commit | diff
panel: Move panel border into the background

In the mockups the bottom border of active panel buttons is drawn
on top of the panel's border. To get this effect, move the panel
border into the background, so that it is not subtracted from the
vertical space given to the buttons. Adjust the drawing of the rounded
corners to reflect that change.

https://bugzilla.gnome.org/show_bug.cgi?id=643001
data/theme/gnome-shell.css diff | blob | history
data/theme/panel-border.svg [new file with mode: 0644] blob
js/ui/panel.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.